InstHyp [$v_{1}$;$x$;$y$] 6 THENA Auto 
\\[0ex]THEN Unfold `guard` 0 THEN RWO "cons\_member" 0 THEN Auto 
\\[0ex]
\\[0ex]THEN OrRight THEN Auto